Lekcja: "Logika, algebra Boole`a, arytmetyka cyfrowa - część II"
p
q
p|q
0
0
1
0
1
0
1
0
0
1
1
0
Tablica prawdy
Symbol binegacji jako bramki logicznej
Bramka NOR (binegacja)
Binegacja, jednoczesne zaprzeczenie (także funktor Pierce`a, NOR) – jeden z funktorów zdaniowych rachunku zdań; dwuargumentowa funkcja boolowska (funktor logiczny) realizująca zaprzeczoną sumę logiczną (NOT OR) – jest prawdziwa wtedy i tylko wtedy, gdy oba składniki są fałszywe. Często przedstawiana pionowa kreska "|" przechodząca przez symbol alternatywy "∨"; dwóch argumentów, co oznacza jej logiczną negację.
Odpowiada wyrażeniu „ani ... ani”.
Za pomocą funkcji NOR możemy zdefiniować negację: NOT a = a NORa alternatywę: p OR q = NOT ( p NOR q) = ( p NOR q) NOR ( p NOR q ) koniunkcję: p AND q = NOT (( NOT p ) OR ( NOT q )) =( NOT p ) NOR ( NOT q )N =( p NOR q ) NOR ( p NOR q ) czyli dowolną funkcję logiczną. Dlatego też ta funkcja jest ważna (podobnie jak NAND).